Preface: Quantitative aspects of programming languages
نویسندگان
چکیده
منابع مشابه
Fifth Workshop on Quantitative Aspects of Programming Languages
Chemical and biochemical systems are presented as collectives of interacting stochastic automata: each automaton represents a molecule that undergoes state transitions. This framework constitutes an artificial biochemistry, where automata interact by the equivalent of the law of mass action. We analyze several example systems and networks, both by stochastic simulation and by ordinary different...
متن کاملOn Some Quantitative Aspects of Formal Languages
Thèse dirigée par Oded Maler. Soutenue le 21 octobre 2009 devant la commission d'examen.
متن کاملPreface Foundational aspects of security
• Joshua Guttman in “Establishing and preserving protocol security goals” proposes a model-theoretic approach to the verification of security properties, where the models are executions, and the security goals are implications over the geometric fragment of predicate logic. This methodology also leads to a new reading of protocol refinement and transformation, and offers the possibility of reas...
متن کاملUsability of Programming Languages
Programming languages form the interface between programmers (the users) and the computation that they desire the computer to execute. Although studies exist for some aspects of programming language design (such as conditionals), other aspects have received little or no human factors evaluations. Designers thus have little they can rely on if they want to make new languages highly usable, and u...
متن کاملElements of Programming Languages
class Value case class NumV(n: Int) extends Value case class BoolV(b: Boolean) extends Value (Technically, we could encode booleans as integers, but in general we will want to separate out the kinds of values.) Booleans and Conditionals Types Extending the interpreter // helpers def add(v1: Value, v2: Value): Value = (v1,v2) match { case (NumV(v1), NumV(v2)) => NumV (v1 + v2) } def mult(v1: Val...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2007
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2007.05.005